Constraint satisfaction problem - PDFSEARCH.IO - Document Search Engine

Constraint satisfaction problem
Results: 216

#	Item
31	Scientific Report First name / Family name Francesco Santini Add to Reading List Source URL: fellowship.ercim.eu Language: English - Date: 2015-06-30 09:13:18 Constraint programming Mathematical optimization Software engineering Computer programming Constraint automaton Computing Constraint satisfaction problem Constraint satisfaction Constraint Reo Coordination Language Constrained optimization Multi-agent system
32	On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems Carsten Lutz1 and Frank Wolter2 1 2 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2015-06-14 08:17:32 Finite model theory Descriptive complexity Computational complexity theory FO Constraint programming Constraint satisfaction problem Conjunctive query SO HO Theoretical computer science Applied mathematics Complexity classes
33	A Constraint Seeker: Finding and Ranking Global Constraints from Examples Nicolas Beldiceanu1 and Helmut Simonis2? 1 Mines de Nantes, LINA UMR 6241, FRNantes, France Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2011-04-27 04:50:42 Computing Constraint satisfaction problem Constraint Binary constraint Backtracking Constraint satisfaction Constraint logic programming Constraint programming Software engineering Computer programming
34	Beating the random assignment on constraint satisfaction problems of bounded degree Boaz Barak∗ arXiv:1505.03424v1 [cs.CC] 13 May 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-05-13 20:27:45 Mathematics MAX-3SAT Constraint satisfaction problem 2-satisfiability Constraint satisfaction Decomposition method Local consistency Constraint programming Theoretical computer science Applied mathematics
35	Near-Optimal Algorithms for Maximum Constraint Satisfaction Problems Moses Charikar∗ Konstantin Makarychev∗† Add to Reading List Source URL: konstantin.makarychev.net Language: English - Date: 2014-06-08 22:16:07 Operations research NP-complete problems Linear programming Real algebraic geometry Semidefinite programming 2-satisfiability Mathematical optimization Constraint satisfaction problem Constraint satisfaction Theoretical computer science Applied mathematics Computational complexity theory
36	Executing Specifications using Synthesis and Constraint Solving Viktor Kuncak?1 , Etienne Kneuss1 , and Philippe Suter1,2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-07-10 09:01:49 Computer programming Constraint satisfaction problem Satisfiability Modulo Theories Constraint satisfaction Constraint logic programming Constraint programming Theoretical computer science Software engineering
37	Constraints as Control Ali Sinan K¨oksal Viktor Kuncak Philippe Suter ∗ Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-14 09:20:17 Software engineering Constraint logic programming Constraint satisfaction problem Satisfiability Modulo Theories Backtracking Prolog Constraint Lambda calculus Constraint satisfaction Constraint programming Declarative programming Theoretical computer science
38	Z3 Lab exercises Leonardo de Moura and Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {leonardo, nbjorner}@microsoft.com June 18, 2008 Add to Reading List Source URL: leodemoura.github.io Language: English - Date: 2015-05-19 13:22:05 Computational complexity theory Recreational mathematics Z3 Gray code Eight queens puzzle Sudoku Constraint satisfaction Bit array Longest path problem Mathematics Theoretical computer science NP-complete problems
39	An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality Mohamed Siala1,2 , Emmanuel Hebrard1,3 , and Marie-Jos´e Huguet1,2 1 CNRS, LAAS, 7 avenue du colonel Roche, FToulouse, Fran Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2012-06-06 05:07:36 Local consistency Constraint satisfaction problem Vector space Algebra Constraint programming Mathematics
40	cKanren miniKanren with Constraints Claire E. Alvis Jeremiah J. Willcock Kyle M. Carter William E. Byrd Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:23:47 Computer programming Constraint logic programming Function Constraint satisfaction problem FO Free variables and bound variables Sheaf AC-3 algorithm Constraint satisfaction Constraint programming Software engineering Mathematics